The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception,...
In this paper I consider metaphysical positions which I label as ‘perspectival’. A perspectivalist believes that some portion of reality cannot extend beyond what an appropriately characterised investigator or investigators can (in some sense) reveal about it. So a perspectivalist will be drawn to claim that a portion of reality is, in some sense, knowable. Many such positions appear to founder on...
What is the appropriate notion of truth for sentences whose meanings are understood in epistemic terms such as proof or ground for an assertion? It seems that the truth of such sentences has to be identified with the existence of proofs or grounds, and the main issue is whether this existence is to be understood in a temporal sense as meaning that we have actually found a proof or a ground, or if...
I will be concerned with the following question: are there compelling arguments for postulating a distinction between the truth of a statement and the recognition of its truth, when truth is conceived along the lines of a suitable generalization of the intuitionistic idea that it should be characterized as the existence of a proof? I will argue that the distinction is not necessary within the conceptual...
The possibility of error is related to the existence a norm. Connections are spelled out to the notion of infallibility and to that of a modifying predicate, to traditional truth theories in connection with “truth of things”, as well as the primacy of the negative cases, for instance “false friend”.
What is the role of a notion of truth in our form of life? What is it to possess a notion of truth? How different would we be, if we did not possess a notion of truth? Gulliver’s description of three peoples encountered during his fifth travel will help me to answer. One might say that the basic anti-realist tenet is that we should explain the notion of truth by connecting it with our practice of...
According to Quine, in any disagreement over basic logical laws the contesting parties must mean different things by the connectives or quantifiers implicated in those laws; when a deviant logician ‘tries to deny the doctrine he only changes the subject’. The standard (Heyting) semantics for intuitionism offers some confirmation for this thesis, for it represents an intuitionist as attaching quite...
Validity, the central concept of the so-called ‘proof-theoretic semantics’ is described as correctly applying to the arguments that denote proofs. In terms of validity, I propose an anti-realist characterization of the notions of truth and correct assertion, at the core of which is the idea that valid arguments may fail to be recognized as such. The proposed account is compared with Dummett’s and...
Logic’s historically central mission has been to provide formally precise descriptions of logical consequence. This was done with two broad expectations in mind. One was that a pre-theoretically recognizable concept of consequence would be present in the ensuing formalization. The other was that the formalization would be mathematically mature. The first expectation calls for conceptual adequacy....
The aim of this paper is to reconsider several proposals that have been put forward in order to develop a Proof-Theoretical Semantics, from the by now classical neo-verificationist approach provided by D. Prawitz and M. Dummett in the Seventies, to an alternative, more recent approach mainly due to the work of P. Schroeder-Heister and L. Hallnäs, based on clausal definitions. Some other intermediate...
I argue that the standard anti-realist argument from manifestability to intuitionistic logic is either unsound or invalid. Strong interpretations of the manifestability of understanding are falsified by the existence of blindspots for knowledge. Weaker interpretations are either too weak, or gerrymandered and ad hoc. Either way, they present no threat to classical logic.
Putnam’s internal realism is aimed at reconciling realist and antirealist intuitions about truth and the nature of reality. A common complaint about internal realism is that it has never been stated with due precision. This paper attempts to render the position precise by drawing on the literature on conceptual spaces as well as on earlier work of the authors on the notion of identity.
From the point of view of proof-theoretic semantics, it is argued that the sequent calculus with introduction rules on the assertion and on the assumption side represents deductive reasoning more appropriately than natural deduction. In taking consequence to be conceptually prior to truth, it can cope with non-well-founded phenomena such as contradictory reasoning. The fact that, in its typed variant,...
The notion of a capacity (dunamis) in the sense of a power to bring about or undergo change plays a key role in Aristotle’s theories about the natural world. However, in Metaphysics Θ Aristotle also extends ‘capacity’, and the corresponding concept of ‘activity’ (energeia), to cases where we want to say that something is in capacity, or in activity, such and such but not, or not directly, in virtue...
In this paper I explore a famous part of Plato’s Theaetetus where Socrates develops various models of the mind (picturing it first as a wax tablet and then as an aviary full of specimen birds). These are to solve some puzzles about how it is possible to make a mistake. On my interpretation, defended here, the discussion of mistakes is no digression, but is part of the refutation of Theaetetus’s thesis...
This paper examines the nature of Aristotelian phronesis, how it is attained, and who is able to attain it inside the polis. I argue that, for Aristotle, attaining phronesis does not require an individual to perfect his practical wisdom to the point where he never makes a mistake, but rather it is attained by certain individuals who are unable to make a mistake of this kind due to their education,...
I develop the relatively familiar idea of a variety of forms of knowledge—not just propositional knowledge but also knowledge-how and experiential knowledge—and show how this variety can be used to make interesting sense of Plato’s and Aristotle’s philosophy, and in particular their ethics. I then add to this threefold analysis of knowledge a less familiar fourth variety, objectual knowledge, and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.